pe{-}state($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}state{-}when(pe{-}es($p$);pe{-}e($p$))